#+LaTeX_CLASS: org-book
#+LATEX_HEADER: \usepackage[ngerman,USenglish]{babel}
#+LATEX_HEADER: \selectlanguage{USenglish}
#+LATEX_HEADER: \usepackage{ulem}
#+LATEX_HEADER: \usepackage{hyperref}
#+LATEX_HEADER: \usepackage{amsmath}
#+LATEX_HEADER: \usepackage{mathtools}
#+LATEX_HEADER: \usepackage{fontspec}
#+LATEX_HEADER: \usepackage{caption}
#+TITLE: Notes for "Introduction to Mathematical Thinking" by Keith Devlin
#+AUTHOR: 杨小龙
#+DATE: \today
#+LANGUAGE: en
#+LINK_HOME: https://gitlab.com/ZelphirKaltstahl/introduction-to-mathematical-thinking-notes
#+EXPORT_SELECT_TAGS: export
#+EXPORT_EXCLUDE_TAGS: noexport
#+STARTUP: overview

* About this document

This document contains notes (more refined and not so much refined) and explanations from reading and thinking about the content of the book Introduction to Mathematical Thinking by Keith Devlin.

* Notes

** Definitions

*** Mathematical thinking

As I understand it, the author defines mathematical thinking as the way of thinking which is required for solving university like mathematical problems, where students need to make a transition from applying procedural knowledge, as learned in school, to terms, to something else.

** Solutions to exercises

- *2.1.1.1.:*

  To show that the statement is not true for all numbers that are
  build this way, one only needs to find one counter example. I would
  try to find one by starting from low natural numbers, because that
  would be easier to calculate.

- *2.1.1.2.:*

  Original phrase: "The man saw the women with a telescope."

  Unambiguous version 1: "The man using a telescope saw the woman."

  Unambiguous version 2: "The man saw the woman who was using a telescope."

* Appendix

TODO


* Export                                                           :noexport:

** Clear TeX Files

#+begin_src sh :results silent
rm notes.aux
rm notes.log
rm notes.toc
rm notes.out
rm notes.tex
rm notes.xdv
rm notes.fls
rm notes.fdb_latexmk
rm notes.bbl
rm notes.blg
#+end_src

** Org --> TeX

#+begin_src elisp :results silent
;; (org-latex-export-to-latex &optional ASYNC SUBTREEP VISIBLE-ONLY BODY-ONLY EXT-PLIST)
(org-latex-export-to-latex t nil)
#+end_src

** TeX --> PDF

#+begin_src sh :results silent
# -f to force continuation when errors occur
latexmk -xelatex notes.tex
#+end_src
